$a$ $<_{b}$$g$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$a$ $<_{b}$($g$$\downarrow$oset) $b$